Search Results
Игорь Коннов. Apalache: symbolic model checker for TLA+
Thinking about protocols with TLA + and Apalache before code is written | Игорь Коннов
Interchain Conversations II - How TLA+ and Apalache Helped Us to Design the Tendermint Light Client
Model-based testing with TLA+ and Apalache - Andrey Kupriyanov & Igor Konnov
Type Inference For TLA+ in Apalache - Jure Kukovec & Igor Konnov
TLA+ Tutorial 2021 at DISC 2021
TLA 1.2: Writing First TLA Specification part 1
TLA+/TLC: практичный инструмент формальной верификаций алгоритмов. Алексей Найденов (ITooLabs).
TFTDS 10. TLA+
Денис Юричев. SAT и SMT решатели, по своей книге "SAT/SMT by example", часть 1/3
